منابع مشابه
Relative Definability in Formal Ontologies
The paper investigates technical meta-logical notions and theorems relating to definitions and relative definability and shows how these are relevant to the concerns of knowledge representation. In particular they can be used to identify sets of primitives that are sufficent to fully describe a given domain. Fundamental definability theorems of Tarski are examined, and it is shown how these can...
متن کاملDescriptive, Formal and Formalized Ontologies
1. Overture 2. Descriptive, formal and formalized ontologies 3. Variants of formalized ontology 4. Some data on formal ontologists 5. A note on Husserl’s conception of formal ontology 6. Mereologies 7. Nominalization 8. The forms of representation 9. The logical and the ontological 10. Duality 11. States of affairs and situations of affairs 12. Unfolded state of affairs 13. Ontological duality ...
متن کاملScenario Testing Using Formal Ontologies
One of the challenges in the Software Development Life Cycle (SDLC) is to ensure that the requirements that drive the development of a software system are correct. However, establishing unambiguous and error-free requirements is not a trivial problem. As part of the requirements phase of the SDLC, a conceptual model can be created which describes the objects, relationships and operations that a...
متن کاملSNOMED CT and formal ontologies
The analysis of the structure of SNOMED CT revealed several ontological and knowledge-engineering errors. The authors propose a methodology based on the formal top-level ontology DOLCE to correct these errors.
متن کاملSpecial Section on Formal Methods in Manufacturing
Observability of Switched Linear Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. Gómez-Gutiérrez, G. Ramírez-Prado, A. Ramírez-Treviño, and J. Ruiz-León 127 On Formal Analy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Ontology
سال: 2019
ISSN: 1875-8533,1570-5838
DOI: 10.3233/ao-190209